Logic form - PDFSEARCH.IO - Document Search Engine

Logic form
Results: 545

#	Item
21	Parameterized Proof Complexity∗ Stefan Dantchev, Barnaby Martin, and Stefan Szeider Department of Computer Science Durham University, Durham, England, UK [s.s.dantchev,b.d.martin,stefan.szeider]@durham.ac.uk Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:36 Computational complexity theory Theory of computation Theoretical computer science NP-complete problems Complexity classes Logic in computer science Finite model theory Parameterized complexity Resolution Exponential time hypothesis Boolean satisfiability problem Conjunctive normal form
22	plrs: Portable Parallel Implementation of the lrs Vertex Enumeration Code David Avis Kyoto University January 30, 2015 Add to Reading List Source URL: cgm.cs.mcgill.ca Language: English - Date: 2015-03-30 01:28:16 Mathematics Geometry Combinatorics Enumerative combinatorics David Avis Logic form Vertex enumeration problem
23	Properties of CFL’s • Simplification of CFG’s. This makes life easier, since we can claim that if a language is CF, then it has a grammar of a special form. • Pumping Lemma for CFL’s. Similar to the regular ca Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:53:52 Formal languages Grammar Constructible universe Formal grammar Logic Cognitive science Useless rules Controlled grammar
24	Generating Quantifiers and Negation to Explain Homework Testing Jason Perry and Chung-chieh Shan Rutgers University Department of Computer Science Add to Reading List Source URL: paul.rutgers.edu Language: English - Date: 2012-03-01 10:11:23 Logic Grammar Linguistics Semantics Syntax Predicate logic Grammatical Framework Logical Form Quantifier Parsing Phrase structure rules Categorial grammar
25	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem True quantified Boolean formula Maximum satisfiability problem Model checking Conjunctive normal form Satisfiability Tseytin transformation
26	THE TAME AUTOMORPHISM GROUP OF AN AFFINE QUADRIC THREEFOLD ACTING ON A SQUARE COMPLEX ´ CINZIA BISI, JEAN-PHILIPPE FURTER AND STEPHANE LAMY Abstract. We study the group Tame(SL2 ) of tame automorphisms of a smooth Add to Reading List Source URL: perso.univ-lr.fr Language: English - Date: 2013-12-07 11:59:32 Knowledge representation Abstract algebra Logic form Natural language processing Automorphism
27	De Re / De Dicto Ezra Keshet and Florian Schwarz September Add to Reading List Source URL: florianschwarz.net Language: English - Date: 2014-09-08 15:06:42 Modality Philosophy of language Semantics Philosophical logic Grammar De dicto and de re Modal logic De se Adjunct Linguistic modality Predicate Logical Form
28	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Type theory Data types Formal methods Functional programming Logic in computer science Symbol Satisfiability modulo theories HindleyMilner type system Geoff Sutcliffe Xi Polymorphism Type variable
29	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 Lambda calculus Functional programming Theoretical computer science Logic in computer science Continuation-passing style Combinatory logic Eval Monad Derivative Free variables and bound variables Lambda calculus definition A-normal form
30	Semantic Processing Semantics Semantic Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-04-23 22:06:25 Semantics Grammar Predicate logic Knowledge representation Computational linguistics Logical Form Dependency grammar First-order logic Description logic Semantic network Quantifier Model theory

UPDATE